COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4330",Who "John McCarthy", Logo Old, Department CSD)                    
C00004 ENDMK
C⊗;
@make(letterhead,Phone"497-4330",Who "John McCarthy", Logo Old, Department CSD)                    
@style[indent 5]
@blankspace (12 lines)
@begin(address)
Professor Friedrich Bauer
Instit. Fuer Informatik
Arcisstrasse 21
D 8000 Muenchen 2 West
Germany

@end(address)
@greeting(Dear Fritz:)
@begin (body)

Many thanks for the copy of your new book.  Naturally I approve of the
approach taken in the beginning.  I am sending you under separate cover
a paper by R. S. Cartwright and me giving a first order, as contrasted
with Scott's, approach to formalizing conditional expression recursive
function definitions.
@end(body)

Best regards,
 
   
    
John McCarthy
Professor of Computer Science